@online{confirmation,
title={Confirmation (Bitcoin Wiki)},
month= dec,
year={2012},
url = {https://en.bitcoin.it/wiki/Confirmation}
}


@online{tpmspec,
title={TPM Main Specification, Part 1: Design Principles, Part 2: Main Structures, Part 3: Commands. Revision 116},
author={Trusted Computing Group},
year=2011,
moth={mar.}}

@inproceedings{setty2012making,
  title={Making argument systems for outsourced computation practical (sometimes)},
  author={Setty, S. and McPherson, R. and Blumberg, A.J. and Walfish, M.},
  booktitle={Proc. NDSS},
  year={2012}
}

@inproceedings{ishai2007efficient,
  title={Efficient arguments without short PCPs},
  author={Ishai, Y. and Kushilevitz, E. and Ostrovsky, R.},
  booktitle={Computational Complexity, 2007. CCC'07. Twenty-Second Annual IEEE Conference on},
  pages={278--291},
  year={2007},
  organization={IEEE}
}

@article{castro2002practical,
  title={Practical Byzantine fault tolerance and proactive recovery},
  author={Castro, M. and Liskov, B.},
  journal={ACM Transactions on Computer Systems (TOCS)},
  volume={20},
  number={4},
  pages={398--461},
  year={2002},
  publisher={ACM}
}

@article{brassard1988minimum,
  title={Minimum disclosure proofs of knowledge},
  author={Brassard, G. and Chaum, D. and Cr{\'e}peau, C.},
  journal={Journal of Computer and System Sciences},
  volume={37},
  number={2},
  pages={156--189},
  year={1988},
  publisher={Elsevier}
}

@inproceedings{mccune2008reiter,
  title={Reiter, and H. Isozaki. Flicker: an execution infrastructure for TCB minimization},
  author={McCune, JM and Parno, BJ},
  booktitle={Proceedings of the 3rd ACM SIGOPS/EuroSys European Systems Conference},
  year={2008}
}

@article{avoine2005gracefully,
  title={Gracefully degrading fair exchange with security modules},
  author={Avoine, G. and G{\"a}rtner, F. and Guerraoui, R. and Vukoli{\'c}, M.},
  journal={Dependable Computing-EDCC 5},
  pages={55--71},
  year={2005},
  publisher={Springer}
}

@article{burk1990value,
  title={Value exchange systems enabling security and unobservability},
  author={B{\"u}rk, H. and Pfitzmann, A.},
  journal={Computers \& Security},
  volume={9},
  number={8},
  pages={715--721},
  year={1990},
  publisher={Elsevier}
}

@article{pagnia1999impossibility,
  title={On the impossibility of fair exchange without a trusted third party},
  author={Pagnia, H. and G{\"a}rtner, F.},
  journal={Darmstadt University of Technology, Department of Computer Science. Technical Report TUD-BS-1999-02},
  year={1999},
  publisher={Citeseer}
}

@article{nakamoto2012bitcoin,
  title={Bitcoin: A peer-to-peer electronic cash system, 2009},
  author={Nakamoto, S.},
  journal={URL: http://www.bitcoin.org/bitcoin.pdf},
  year={2012}
}

@article{nakamoto2008bitcoin,
  title={Bitcoin: A peer-to-peer electronic cash system},
  author={Nakamoto, S.},
  journal={Consulted},
  volume={1},
  pages={2012},
  year={2008}
}

@article{mtgox,
  title = {Mt. Gox},
  month = Dec,
  year = {2012},
  journal = {URL: https://mtgox.com}
}

@article{cur_trans_fees,
  title = {Transaction fees},
  month = Dec,
  year = {2012},
  journal = {URL: https://en.bitcoin.it/wiki/Transaction\_fees}
}

@article{credit_card_fees,
  title = {Credit card processing fees: Why do credit card issuers take a 2\%cut - Los Angeles Times},
  month = Jul,
  year = {2011},
  journal = {URL: http://articles.latimes.com/2011/jul/01/business/la-fi-lazarus-20110701}
}

@inproceedings{necula1997proof,
  title={Proof-carrying code},
  author={Necula, G.C.},
  booktitle={Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
  pages={106--119},
  year={1997},
  organization={ACM}
}

@article{ec2,
  title={Amazon Elastic Computing Cloud (EC2)},
  journal={URL: http://aws.amazon.com/ec2/}
}

@article{azure,
  title={Microsoft Windows Azure},
  journal={URL: http://www.windowsazure.com/}
}

@article{double_spending,
  title={Double Spending in Bitcoin Network},
  journal={URL: https://en.bitcoin.it/wiki/Double-spending}
}
